<?php
session_start();
$_SESSION["user"] = null;
header("Location: art_list.php");

?>